Test von Supersymmetrie: Doppelbetazerfall und Teilchenbeschleuniger

Integration von Formaler Verifikation und Test

Üblicherweise nehmen die Verifizierungsaufgaben, die von den branchenspezifischen Standards gefordert werden, einen großen Teil der Entwicklungskosten von kritischen Systemen ein. Diese Tendenz wird noch verstärkt, da die Entwicklung und Pflege einer großen Menge von funktionalen und Robustheitstests, für immer komplexer werdende Anwendungen, nötig ist. Die formale Verifikation ist ein Weg, die...

Systematische Integration von Refactoring und Test im Extreme Programming

Refactoring und Testen bilden wesentliche Bausteine des Extreme Programming. In diesem Beitrag wird der konzeptionelle Zusammenhang zwischen beiden Praktiken herausgearbeitet. Insbesondere wird die Abhängigkeit zwischen der Durchführung eines Refactorings und den sich daraus ergebenden notwendigen Änderungen der Testumgebung betrachtet. Durch eine geeignete Typisierung von Refactorings werden d...

Reverse-Modellierung von Traceability zwischen Code, Test und Anforderungen

Abstrakt: In diesem Beitrag zur Modellierung der architektonischen Abhängigkeiten zwischen Code, Test und Anforderungen wird ein Reverse Engineering Prozess zur Wiederherstellung von Traceability zwischen Code-Bausteinen, Testfällen und Anforderungen über die Anwendungsfälle geschildert. Im Mittelpunkt des Prozesses steht ein SoftwareRepository, das dazu dient die aus dem Code und dem Test gewo...

Eine industriell erprobte Methode für den Review und Test von Anforderungen mit Hilfe von Fehlertaxonomien

Zusammenfassung In diesem Beitrag präsentieren wir eine Validierungsmethode, welche Fehlertaxonomien für den Review und das Testen von Anforderungen verwendet. Im Gegensatz zu anderen Ansätzen, welche Taxonomien nur zur Fehlerklassifikation verwenden, setzen wir Fehlertaxonomien zur Steuerung des Review und aller Phasen des Tests von Anforderungen, nämlich der Testplanung, des Testdesign, der T...

Untersuchungen zur Anwendung von computergenerierten Kamerabildern für die Entwicklung und den Test von Fahrerassistenzsystemen